| Model: | embedded v.1 (CTMC) |
| Parameter(s) | MAX_COUNT = 8, T = 12 |
| Property: | actuators (prob-reach) |
./pet.sh reachability --precision 0.05 --relative-error --only-result -m embedded.prism -p embedded.props --property actuators --const MAX_COUNT=8,T=12
| Walltime: | 87.15906119346619s |
| Return code: | 0 |
| Relative Error: | 0.017513537331456608 |
0.1071478953